1,525 research outputs found

    Gluon propagator and zero-momentum modes on the lattice

    Get PDF
    We investigate the propagators of 4D SU(2) gauge theory in Landau gauge by Monte Carlo simulations. To be able to compare with perturbative calculations we use large β\beta values. There the breaking of the Z(2) symmetry causes large effects for all four lattice directions and doing the analysis in the appropriate state gets important. We find that the gluon propagator in the weak-coupling limit is strongly affected by zero-momentum modes.Comment: 3 pages, LaTeX, 5 figures, uses espcrc2.sty and epsfig.sty. Contribution to Lattice'9

    Properties of U(1) lattice gauge theory with monopole term

    Get PDF
    In 4D compact U(1) lattice gauge theory with a monopole term added to the Wilson action we first reveal some properties of a third phase region at negative β\beta. Then at some larger values of the monopole coupling λ\lambda by a finite-size analysis we find values of the critical exponent ν\nu close to, however, different from the Gaussian value.Comment: LATTICE98(higgs

    Dynamic Package Interfaces - Extended Version

    Full text link
    A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A challenge in using a package is to ensure that a client follows the implicit protocol of the package when calling its methods. Violations of the protocol can cause a runtime error or latent invariant violations. These protocols can extend across different, potentially unboundedly many, objects, and are specified informally in the documentation. As a result, ensuring that a client does not violate the protocol is hard. We introduce dynamic package interfaces (DPI), a formalism to explicitly capture the protocol of a package. The DPI of a package is a finite set of rules that together specify how any set of interacting objects of the package can evolve through method calls and under what conditions an error can happen. We have developed a dynamic tool that automatically computes an approximation of the DPI of a package, given a set of abstraction predicates. A key property of DPI is that the unbounded number of configurations of objects of a package are summarized finitely in an abstract domain. This uses the observation that many packages behave monotonically: the semantics of a method call over a configuration does not essentially change if more objects are added to the configuration. We have exploited monotonicity and have devised heuristics to obtain succinct yet general DPIs. We have used our tool to compute DPIs for several commonly used Java packages with complex protocols, such as JDBC, HashSet, and ArrayList.Comment: The only changes compared to v1 are improvements to the Abstract and Introductio

    Fang, Anlandungen, Discard und Bestand der Nordsee-garnele (Crangon crangon L.)

    Get PDF
    Landings of brown shrimp (Crangon crangon) for human consumption are not the only part that is taken from the North Sea shrimp stocks. Small amounts of industrial shrimps taken in the second half of a year in Germany add as well to the total amount that is taken from the stocks as the moribund animals discarded all over the year during the first sieving process on board, as the cooked and discarded ones in the second sieving on board and as those from the third sieving process ashore normally being crushed and used for animal feed stuff. All these fractions of the total catch of brown shrimps give a total of approximately 74 000 tonnes that were taken from the North Sea in 2005. Nevertheless, due to low predator abundance and changing climate conditions Crangon stocks show no signs of overexploitation so far with increasing LPUE values in the north-eastern part of the German Bight and decreasing ones in the south-east and Channel. There is the need of further investigations of these changes in the life history and distribution of shrimp as well as in the fishing behaviour and effort of the shrimp fleets

    Efficient Decompositional Model Checking for Regular Timing Diagrams

    Full text link

    Temporal trends in vent fluid iron and sulfide chemistry following the 2005/2006 eruption at East Pacific Rise, 9°50′N

    Get PDF
    The chemistry of vent fluids that emanate to the seafloor undergoes dramatic changes after volcanic eruptions. Data on these changes are still limited, but the best studied example is the East Pacific Rise (EPR) at 9°50′N, where the temporal evolution of the vent fluid chemistry after the 1991/1992 eruption was documented. The area underwent another eruption sequence during late 2005/early 2006, and here we show that a similar evolution is recurring in the iron and sulfide contents of the high-temperature fluids sampled in June 2006, January 2007, and June 2008. The vents have had increasing dissolved iron and decreasing acid-volatile sulfide (free sulfide plus FeS) concentrations with 1 order of magnitude variation. In addition, chromium reducible sulfide (mainly pyrite) also had fivefold decreasing concentrations over the 3 years. Our results confirm a pattern that was noted only once before for 9°50′N EPR and emphasize the dramatic yearly variability in the concentrations of iron-sulfur species emanating from vents

    Plasticity reveals hidden resistance to extinction under climate change in the global hotspot of salamander diversity

    Get PDF
    Extinction rates are predicted to rise exponentially under climate warming, but many of these predictions ignore physiological and behavioral plasticity that might buffer species from extinction. We evaluated the potential for physiological acclimatization and behavioral avoidance of poor climatic conditions to lower extinction risk under climate change in the global hotspot of salamander diversity, a region currently predicted to lose most of the salamander habitat due to warming. Our approach integrated experimental physiology and behavior into a mechanistic species distribution model to predict extinction risk based on an individual’s capacity to maintain energy balance with and without plasticity. We assessed the sensitivity of extinction risk to body size, behavioral strategies, limitations on energy intake, and physiological acclimatization of water loss and metabolic rate. The field and laboratory experiments indicated that salamanders readily acclimatize water loss rates and metabolic rates in ways that could maintain positive energy balance. Projections with plasticity reduced extinction risk by 72% under climate warming, especially in the core of their range. Further analyses revealed that juveniles might experience the greatest physiological stress under climate warming, but we identified specific physiological adaptations or plastic responses that could minimize the lethal physiological stress imposed on juveniles. We conclude that incorporating plasticity fundamentally alters ecological predictions under climate change by reducing extinction risk in the hotspot of salamander diversity
    • …
    corecore